Nuprl Definition : rng_zero 13,42
0 == (r.2.2.2.2).1 
latex

clarification:

0r == (r.2.2.2.2).1 
latex

Uprng sig object directory
Wellformedness Lemmasrng zero wf
Definitionst.1, t.2

origin